(0 17 12)(1 20 15)(2 7 5)(3 16 14)(4 19 18)(6 10 8)(9 13 11)
ALLOWS (11/8)-SEQUENCE
1: (1 15 20)
(0 17 12)(1 15 20)(2 7 5)(3 16 14)(4 19 18)(6 10 8)(9 13 11)
2: (0 17 12)
(0)(1 15 20)(2 7 5)(3 16 14)(4 19 18)(6 10 8)(9 13 11)(12)(17)
3: (1 15 20)
(0)(1)(2 7 5)(3 16 14)(4 19 18)(6 10 8)(9 13 11)(12)(15)(17)(20)
4: (3 16 14)
(0)(1)(2 7 5)(3)(4 19 18)(6 10 8)(9 13 11)(12)(14)(15)(16)(17)(20)